MUltlog 1.0: Towards an Expert System for Many-Valued Logics
نویسندگان
چکیده
MUltlog is a system which takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and a calculus for transforming a many-valued formula to clauses suitable for many-valued resolution. All generated rules are optimized regarding their branching degree. The output is in the form of a scientific paper, written in LTEX.
منابع مشابه
Saturation-Based Theorem Proving: Past Successes and Future Potential (Abstract)
A resolution theorem prover for intuitionistic logic p. 2 Proof-terms for classical and intuitionistic resolution p. 17 Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-Unification p. 32 Extensions to a generalization critic for inductive proof p. 47 Learning domain knowledge to improve theorem proving p. 62 Patching faulty conjectures p. 77 Internal analogy i...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملMany-Valued Multiple-Expert modal models
In AI and other branches of Computer Science expert models are often studied and used. Here we examine experts which evaluate formulas of modal logic. An expert model consists of a set of experts and a domination relation which dictates how each expert’s opinion is dependent upon the opinions expressed by other experts. Such multiple-expert modal models were introduced and investigated by Fitti...
متن کاملReview of Leonard Bolc
In recent years, interest in many-valued logics for computer science has increased considerably, and there is certainly a need for good and thorough textbooks on the subject geared towards that potential area of application, namely, computer science. The authors of the volume Many-valued Logics 1 , Leonard Bolc and Piotr Borowik, have set out to do just that. The volume under review here is the...
متن کاملTableaus for many-valued modal logic
We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cu...
متن کامل